Mahogany, blood–brain barrier, and fat mass surge in AVY mice
نویسندگان
چکیده
منابع مشابه
Leukemia inhibitory factor reduces body fat mass in ovariectomized mice.
OBJECTIVE Ovariectomized (OVX) mice are known to gain body fat while exposure to estrogens decreases fat mass. We have previously shown that estrogen replacement therapy enhances the expression of receptors for the cytokine, leukemia inhibitory factor (LIF). LIF and other cytokines acting via the gp130 signal transducing receptor have been reported to decrease obesity. In the present study, we ...
متن کاملDynamics of Fat Mass in DUhTP Mice Selected for Running Performance – Fat Mobilization in a Walk
OBJECTIVE Reduction of body fat can be achieved by dietary programs and/or aerobic exercise training. More convenient methods to rid the body of excess fat are needed. However, it is unclear whether it is possible to more easily lose body weight at all. METHODS DUhTP mice bred through phenotype selection for high treadmill performance and unselected controls were voluntarily physically active...
متن کاملthe effect of body fat mass and fat free mass on migraine headache.
background: obesity seems to be associated to migraine headache. increase in body fat, especially in gluteofemoral region, elevates adiponectin and leptin secretion which in turn impair inflammatory processes that could be contributing to migraine risk. this study was designed to assess the relationship between body composition and risk of migraine for the first time. methods: in this cross-sec...
متن کاملA Formal Verification Study on the Rotterdam Storm Surge Barrier
This paper presents the results of the validation and verification of a crucial component of BOS, a large safety-critical system that decides when to close and open the Maeslantkering, a storm surge barrier near the city of Rotterdam in the Netherlands. BOS was specified in the formal language Z and model checking has been applied to some of its subsystems during its development. A lightweight ...
متن کاملTimed Testing with TorX: the Oosterschelde Storm Surge Barrier
We report on the automatic testing of the control software of the Oosterschelde kering, a storm surge barrier. The automatic testing includes automatic test case derivation and automatic test execution. This project is a joint effort of CMG and the computer science group “Formal Methods and Tools” at the university of Twente. We introduce the way we currently test at the Formal Methods and Tool...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Obesity
سال: 2007
ISSN: 0307-0565,1476-5497
DOI: 10.1038/sj.ijo.0803536